Program

last modified: 06 Nov 2021

All times are CET. The selector below allows you to display all times in your current timezone (estimated by your browser). Note that some regions will switch to standard time during the conference. This functionality is provided for your convenience, and we recommend that you double-check that the conversion is correct in your case.

Search titles and author lists

We 3 Th 4 Fr 5 Mo 8 Tu 9 We 10 Th 11 Fr 12 All

Tuesday, 9 Nov 2021

room A

2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Temporal & Spatial Reasoning

chair: Jean Jung

long Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi and Giuseppe PerelliTimed Trace Alignment with Metric Temporal Logic over Finite Traces details
long Przemysław A. Wałęga, David J. Tena Cucala, Egor V. Kostylev and Bernardo Cuenca GrauDatalogMTL with Negation Under Stable Models Semantics details
long Przemysław A. Wałęga, Michał Zawidzki and Bernardo Cuenca GrauFinitely Materialisable Datalog Programs with Metric Temporal Operators details
long Ruiqi Li, Hua Hua, Patrik Haslum and Jochen RenzUnsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations details

room B

2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Explanation 1

chair: Kristijonas Cyras

KR & ML long Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez and Pierre MarquisOn the Computational Intelligibility of Boolean Classifiers details
KR & ML long Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-SilvaOn Efficiently Explaining Graph-Based Classifiers details
KR & ML long Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche and Michèle SebagOn the Identifiability of Hierarchical Decision Models details
RPR Track abstract Alexey Ignatiev, Nina Narodytska, Nicholas Asher and Joao Marques-SilvaFrom Contrastive to Abductive Explanations and Back Again pdf
RPR Track abstract Manuel de Sousa Ribeiro and Joao LeiteAligning Artificial Neural Networks and Ontologies towards Explainable AI - Extended Abstract pdf

in Gather enter 2021-11-09T10:00:00+01:00 - 2021-11-09T10:30:00+01:00 10:00 - 10:30

Posters

room C

2021-11-09T10:30:00+01:00 - 2021-11-09T11:00:00+01:00 10:30 - 11:00

Break with activity

chair: Magdalena Ortiz, Maria Vanina Martinez and Marco Maratea

in Gather enter 2021-11-09T11:00:00+01:00 - 2021-11-09T11:30:00+01:00 11:00 - 11:30
Informal discussion

Gabriele Kern-Isberner & Tommie Meyer: Cognitive Logics

room A

2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Ontology-Mediated Query Answering

chair: Patrick Koopmann

long Best Paper Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph and Michaël ThomazoCapturing Homomorphism-Closed Decidable Queries with Existential Rules details
long Best Paper Runner-up Anneke Haga, Carsten Lutz, Leif Sabellek and Frank WolterHow to Approximate Ontology-Mediated Queries details
long Maxime Buron, Marie-Laure Mugnier and Michaël ThomazoParallelisable Existential Rules: a Story of Pieces details
long Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank WolterSeparating Data Examples by Description Logic Concepts with Restricted Signatures details

room B

2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Argumentation 2

chair: Nico Potyka

long Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze RienstraRevision and Conditional Inference for Abstract Dialectical Frameworks details
long Guilherme Paulino-Passos and Francesca ToniMonotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation details
long Bettina Fazzinga, Sergio Flesca and Filippo FurfaroReasoning over Attack-incomplete AAFs in the Presence of Correlations details
long Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai KäferAdmissibility in Probabilistic Argumentation details